Concurrency computer science) - PDFSEARCH.IO - Document Search Engine

Concurrency computer science)
Results: 359

#	Item
111	binary_CB_PipeSeq_CTN.fig Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2010-04-09 04:47:14 Petri net Design Patterns Computing Software design pattern Computer science Software engineering Concurrency Diagrams
112	Semantic Conditions for Correctness at Different Isolation Levels Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu Department of Computer Science State University of New York at Stony Brook Stony Brook, NY, Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2014-09-12 20:26:42 Information Concurrency control Databases Isolation Snapshot isolation Serializability Schedule Database transaction Multiversion concurrency control Transaction processing Data management Data
113	Reenix: Implementing a Unix-Like Operating System in Rust Alex Light (alexander ) Advisor: Tom Doeppner Reader: Shriram Krishnamurthi Brown University, Department of Computer Science April 2015 Add to Reading List Source URL: scialex.github.io Language: English - Date: 2015-04-28 15:23:24 Rust Concurrency control Threads Quicksort C dynamic memory allocation C Monitor Kernel Dog crate Computing Computer programming Software engineering
114	DIMACS, July 8, joint work with G. Winskel while at BRICS) Federico Crazzolara C&C Laboratories, NEC Europe Add to Reading List Source URL: dimacs.rutgers.edu Language: English - Date: 2003-07-07 10:47:34 Concurrency Diagrams Petri net Exponentiation Summation FO Mathematics Theoretical computer science Models of computation
115	Research internship Petri net unfolding of biological networks Topic: Logic and Verification Location: MExICo project team, LSV, École Normale Supérieure de Cachan, Cachan, France (Head of LSV: Laurent Fribourg Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-10-11 13:18:54 Petri net Model checking Gene regulatory network Petri Actor model Computer science Computing Science Concurrency Networks Diagrams
116	PDF Document Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2008-11-04 04:12:05 Models of computation Computer science Diagrams Programming language semantics Concurrency Petri net Operational semantics Semantics Petri Theoretical computer science Formal methods Logic in computer science
117	Learning from Mistakes — A Comprehensive Study on Real World Concurrency Bug Characteristics Shan Lu, Soyeon Park, Eunsoo Seo and Yuanyuan Zhou Department of Computer Science, University of Illinois at Urbana Champaign Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2009-08-28 19:17:49 Concurrency control Transaction processing Software bugs Data management Databases Thread Lock Deadlock Parallel computing Computing Computer programming Software engineering
118	Supercomputers Tomasz Malkiewicz CSC – IT Center for Science Ltd. Content CSC supercomputers Add to Reading List Source URL: web.csc.fi Language: English - Date: 2015-03-26 05:20:16 Distributed computing architecture Geographic information system Computer programming Concurrency Supercomputer Computing Parallel computing Concurrent computing
119	Petri Net-Based Cooperation In Multi-Agent Systems Y.T. Kotb, S.S. Beauchemin, and J.L. Barron {ykotb, beau, barron} @csd.uwo.ca Department of Computer Science The University of Western Ontario Add to Reading List Source URL: www.csd.uwo.ca Language: English - Date: 2007-11-08 22:02:00 Petri net Robotics Robot Diagrams Models of computation Concurrency
120	SableSpMT: A Software Framework for Analysing Speculative Multithreading in Java Christopher J.F. Pickett and Clark Verbrugge School of Computer Science, McGill University Montr´eal, Qu´ebec, Canada H3A 2A7 {cpicke,clu Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2005-10-07 23:29:08 Concurrency control Programming language implementation Speculative multithreading Threads Microprocessors Multithreading Speculative Bytecode Software development process Computing Computer architecture Parallel computing

UPDATE